VxWorks END学习桥的战术多网网关软件的设计与实现

战术互联网是以无线自组织网络为基础,具有自组织、自管理和多跳的特点,可方便、灵活组网,为了解决营一级的战术互联网多网融合的问题,详细论述了基于VxWorks END学习桥的战术多网网关软件的设计开发原理,提出了在以太网基础上的二层桥接的协议转换思想,给出了软件实现过程的主要细节,并给出了参考代码.     

语料库在翻译课程“教”与“学”中的重要性研究

高校翻译课程的设置是为了让学生掌握翻译相关的知识和技能,发展翻译能力,除了传统的教学方法外,将双语语料库的辅助方法引入翻译课堂,利用其对齐和检索功能为学生提供大量真实的翻译对照文本,无疑对学生会有很大的启发和帮助。文章通过对语料库重要性的研究,阐述其对翻译课程的"教"与"学"所起到的作用及其重要性,真正实现student-centered的教学模式和task-based的课堂实践。     

输入式记忆对英语写作能力的正迁移实证研究

本文利用跟踪调查,试验对照的形式,结合SPSS对数据加以分析,在实证研究的基础上,揭示输入式记忆对提高大学生英语写作能力的正迁移和输入式记忆科学、合理地应用于写作教学对学生写作能力的促进作用。     

近十年少先队教育发展脉络与问题审视

针对新时代背景下少先队教育面临的三个时代课题,为推动少先队教育改革与时俱进,在《国家中长期教育改革和发展规划纲要(2010-2020年)》的指导下,本文基于近十年相关文本政策进行分析,以光荣感教育、政治社会化、辅导员专业化发展为主线,探究其发展规律并做出阶段性总结,对少先队时代课题的破解提出做好家、校、社光荣感教育的衔接;促进队员政治社会化的培养;树立辅导员内部自觉发展意识等建议,力图为今后少先队工作的顺利开展提供借鉴。     

LCDP SO算法在协同空战攻击决策中的运用?

为了探索提高协同空战攻击决策算法性能的途径,将多子群粒子群优化理论用于求解协同空战攻击决策,利用生命周期粒子群模型（ LCPSO）,提出了一种生命周期离散粒子群（ LCDPSO）协同空战攻击决策算法。基于典型空战想定背景,仿真验证了算法的有效性。通过统计实验的方法,分析比较了LCDPSO协同空战攻击决策算法与多种智能决策算法的准确性、可靠性和快速性,研究结果证明LCDPSO协同空战攻击决策算法优良的综合性能。     

关于分形插值函数的积分

用反例说明在 [1 ,2 ]中关于分形插值函数的积分公式是错误的 ,并建立了关于分形插值函数积分的正确公式。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

中国维和警察学科理论体系基本框架构想

中国维和警察参与联合国维和行动已成为我国公安工作的重要内容，把中国维和警察理论作为中国警学的新兴学科，研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架，对我国维和警察工作的发展具有重要的促进作用。     

非对消解耦方法在硬式空中加油管控制中的应用

研究了硬式空中加油管的控制问题,基于对伸缩管模型的分析,得出伸缩管必须进行解耦才可有效控制的结论;基于模型存在S右半平面零点的特征,提出了利用非对消解耦方法解决硬式空中加油管的控制问题。通过Matlab/Simulink进行仿真,结果表明该方法可以有效地消除系统间的耦合作用,能够满足伸缩管的控制需要。